API: gdk: Remove gdk_device_set_source()
authorBenjamin Otte <otte@redhat.com>
Mon, 27 Dec 2010 19:08:50 +0000 (20:08 +0100)
committerBenjamin Otte <otte@redhat.com>
Mon, 27 Dec 2010 19:08:50 +0000 (20:08 +0100)
commit42fbccd3d2bacd45c84792a30b38480599920b07
tree7d2afd0db5787eed4ea6ea5512d811372e3c1eea
parente4cc25911150ab26b93d903c3502526802418fee
API: gdk: Remove gdk_device_set_source()

The source of a device is not changeable.
docs/reference/gdk/gdk3-sections.txt
gdk/gdk.symbols
gdk/gdkdevice.c
gdk/gdkdevice.h